Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
711	General Hardness Amplification of Predicates and Puzzles Thomas Holenstein Grant Schoenebeck Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2011-03-29 11:43:25 Lemmas Mathematical logic
712	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
713	Rudolf von Bitter Rucker was born March 22, 1946 in Louisville KY. He attended Swarthmore, earning a BA in mathematics in 1967, and did graduate work at Rutgers, studying mathematical logic and set theory, and getting a Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2013-06-10 19:10:43
714	“Refuting” Cantor Jaime Gaspar∗ 28 January 2014 The German mathematician Georg Cantor used his famous diagonal argument to prove his celebrated theorem showing that there is no bijection between the set of all natu Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2014-01-28 06:52:57 Mathematics Mathematical logic Set theory Georg Cantor Bijection Rocquencourt Ordinal number Cardinal numbers
715	Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2016-01-06 15:14:57 Software Hirai Coq Mathematical logic Declarative programming
716	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
717	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Logic Mathematics Abstraction Formal languages Mathematical logic Linear temporal logic Temporal logic Automated theorem proving Propositional calculus Substitution IP Interpretation
718	The VLDB Journal:103–128 DOIs00778z REGULAR PAPER Sampling from repairs of conditional functional dependency Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:41:42 Mathematics Mathematical logic Data modeling Functional dependency Permutation Equivalence relation Cardinal number Cardinality Tuple Subset Structure
719	The Expressive Completeness of Metric Temporal Logic 2ex Add to Reading List Source URL: highlights-conference.org Language: English* - Date: 2013-09-18 06:35:46 Mathematical logic Logic Fuzzy logic Theoretical computer science Temporal logic Monoidal t-norm logic FO LTL BL First-order logic Model checking MTL
720	Filters and Reverse Mathematics (joint work with Y. Hirata) Takeshi Yamazaki Mathematical Institute, Tohoku University Sendai Logic Seminar 12 April, 2013 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English